((v1 v2 0) (v1 v3 7) (v2 v3 7) (v1 v4 9) (v2 v4 8) (v3 v4 2) (v1 v5 6) (v2 v5 4) (v3 v5 5) (v4 v5 9))
53
()